Second Order Metaprogramming

نویسنده

  • David Dodds
چکیده

Metaprogramming, in the sense used in this paper (rather than the programming template sense) is the use of a collection of programs which orchestrates other (possibly collections of) programs. One of the requirements of the metaprogramming code is that it must collectively develop a sense of what the situation is and what should be done as a result. Situation awareness is an example technique used to interpret / analyze sensor data into a structured data set which indicates the “awareness” of the situation at that time. What is needed is the ability to functionally adjust both the trigger pattern of input and the resulting behavioural response. This is done through learning. Systems which are able to adjust their own metaprograms are called self-metaprogramming, and learning is a key feature of these systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Soft IP Design Framework Using Metaprogramming Techniques

We discuss the application of the metaprogramming techniques for soft IP design. Two metaprogramming paradigms are considered: the internal (using capabilities of the single language) and external (based on the usage of the target language and external metalanguage simultaneously) ones. The novelty of our approach is that we apply the concept of the multi-dimensional separation of concerns impl...

متن کامل

Strictness Analysis and let-to-case Transformation using Template Haskell

Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a very recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Has...

متن کامل

Using Template Haskell for Abstract Interpretation

Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Haskell ...

متن کامل

A Compile-Time Infrastructure for GCC Using Haskell (extended version)

This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a plugin infrastructure that exposes two compile-time mechanisms. The first of these is a mechanism by which one may perform arbitrary computations over types within the context of the C++ template metaprogramming infrastructure. The second of these exposes selected port...

متن کامل

A Compile-Time Infrastructure for GCC Using Haskell

This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a plugin infrastructure that exposes two compile-time mechanisms. The first of these is a mechanism by which one may perform arbitrary computations over types within the context of the C++ template metaprogramming infrastructure. The second of these exposes selected port...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006